((Unfolds ``all decidable p{-}filter`` 0) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$